3 N ov 2 01 5 L . E . J . Brouwer ’ s ‘ Unreliability of the logical principles ’ . A new translation , with an introduction

نویسندگان

  • Mark van Atten
  • Göran Sundholm
چکیده

We present a new English translation of L.E.J. Brouwer’s paper ‘De onbetrouwbaarheid der logische principes’ (The unreliability of the logical principles) of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer’s ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. We note that principled objections to the general excluded middle similar to Brouwer’s had been advanced in print by Jules Molk two years before. Finally, we discuss the influence on George Griss’ negationless mathematics. keywords: Luitzen Egbertus Jan Brouwer, George Griss, intuitionism, Jules Molk, principle of the excluded middle 1 Rationale for this translation In his seminal paper ‘The unreliability of the logical principles’ (1908b), Brouwer draws for the first time the revisionistic consequences of the general view on logic that he had presented in his dissertation (Brouwer, 1907, pp. 125–132), by rejecting the principle of excluded middle. The paper appeared in Dutch; Brouwer’s first published remarks in more widely read languages on the unreliability of the principle SND (CNRS/Paris 4), 28 rue Serpente, 75006 Paris, France. [email protected] Philosophical Institute, Leiden University, P.O. Box 2315, 2300 RA Leiden, The Netherlands. [email protected]

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An analog of Titchmarsh's theorem for the Bessel transform in the space $mathrm{L}_{p,alpha}(mathbb{R}_{+})$

Using a Bessel generalized translation, we obtain an analog of Titchmarsh's theorem for the Bessel transform for functions satisfying the Lipschitz condition in the space $mathrm{L}_{p,alpha}(mathbb{R}_{+})$, where $alpha>-frac{1}{2}$ and $1

متن کامل

ar X iv : 1 50 9 . 01 22 3 v 2 [ he p - ex ] 1 1 N ov 2 01 5 A test of electric charge conservation with Borexino

M. Agostini, S. Appel, G. Bellini, J. Benziger, D. Bick, G. Bonfini , D. Bravo, B. Caccianiga, F. Calaprice, A. Caminata, P. Cavalcante, A. Chepurnov, D. D’Angelo, S. Davini, A. Derbin, L. Di Noto, I. Drachnev, A. Empl, A. Etenko, K. Fomenko, D. Franco, F. Gabriele, C. Galbiati, C. Ghiano, M. Giammarchi, M. Goeger-Neff, A. Goretti, M. Gromov, C. Hagner, E. Hungerford, Aldo Ianni, Andrea Ianni, ...

متن کامل

A duality between LM-fuzzy possibility computations and their logical semantics

Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...

متن کامل

Evaluation of Midwifery Student's Attitude, Performance and Satisfaction from teaching clinical skills with the Video in Hamedan School of Nursing and Midwifery (2019)

1. Duncan I, Yarwood-Ross  L, Haigh  C..YouTube as a source of clinical skills education. Nurse Eduction. .2013; 33 (12): 1576–1580 2. Arguel  ., Jamet  E. Using video and static pictures to improve learning of procedural contents.Comput. Hum. Behav.2008; 25 (2):354–359. 3. Johnson  N, List-Ivankovic  J, Eboh  W, Ireland  ., Adams  D, Mowatt  E, Martindale  S. Research and evidence based pra...

متن کامل

The intended interpretation of intuitionistic logic

We present an overview of the unintended interpretations of intuitionistic logic that arose after Heyting formalized the “observed regularities” in the use of formal parts of language, in particular, first-order logic and Heyting Arithmetic. We include unintended interpretations of some mild variations on “official” intuitionism, such as intuitionistic type theories with full comprehension and ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015